Search Results
[PLARCH23] Hardware Verification of Timing Side Channel Freedom in the Spectre Era
[POPL 2021] CoqPL: An experience report on writing usable DSLs in Coq
OSDI '23 - Nimble: Rollback Protection for Confidential Cloud Services
Clément Pit-Claudel: Extensible Extraction of Efficient Imperative Programs with Foreign … (IJCAR B)
EPFL LakeCTF Competition
![[PLARCH23] Hardware Verification of Timing Side Channel Freedom in the Spectre Era](https://img.youtube.com/vi/ZLdtrE0osrw/hqdefault.jpg)
![[POPL 2021] CoqPL: An experience report on writing usable DSLs in Coq](https://img.youtube.com/vi/WQt0fGxr_as/hqdefault.jpg)
